INSTITUT FÜR INFORMATIK UND PRAKTISCHE MATHEMATIK Gabor Wavelet Networks for Object Representation

INSTITUT FÜR INFORMATIK UND PRAKTISCHE MATHEMATIK Learning Manipulator Behaviors using Visual Information

INSTITUT FÜR INFORMATIK UND PRAKTISCHE MATHEMATIK Tree Transducer-based Analysis of Cryptographic Protocols

Datenbanken und Informationssysteme

Organisatorische Zugehörigkeit Ich gehörte zunächst zum Fachbereich Elektrotechnik, Fakultät für Maschinenbau und Elektrotechnik. Anläßlich der Zusammenführung der Informatik wurde ich Mitglied des Instituts für Theoretische und Praktische Informatik (1978) im Fachbereich Mathematik und Informatik. Wenig später wurde dieses Institut in kleinere Einheiten aufgeteilt, und mein Arbeitsbereich wurd...

Discrepancy of Products of Hypergraphs

Discrepancy of Products of Hypergraphs Benjamin Doerr, Michael Gnewuch and Nils Hebbinghaus Max-Planck-Institut für Informatik, Stuhlsatzenhausweg 85, D-66123 Saarbrücken, e-mail: [email protected] Max-Planck-Institut für Mathematik in den Naturwissenschaften, Inselstraße 22, D-04103 Leipzig, e-mail: [email protected] Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Uni...

INSTITUT FÜR INFORMATIK UND PRAKTISCHE MATHEMATIK An Evaluation Semantics for Narrowing-Based Functional Logic Languages

We introduce a semantic characterization of narrowing, the computational engine of many functional logic languages. We use a functional domain for giving a denotation to the narrowing space associated to a given initial expression under an arbitrary narrowing strategy. Such a semantic description highlights (and favours) the operational notion of evaluation instead of the more usual model-theor...